Formal Analysis of Networked Microgrids Dynamics
نویسندگان
چکیده
منابع مشابه
Impact Analysis of Demand Response Intensity and Energy Storage Size on Operation of Networked Microgrids
Integration of demand response (DR) programs and battery energy storage system (BESS) in microgrids are beneficial for both microgrid owners and consumers. The intensity of DR programs and BESS size can alter the operation of microgrids. Meanwhile, the optimal size for BESS units is linked with the uncertainties associated with renewable energy sources and load variations. Similarly, the partic...
متن کاملFormal analysis of design process dynamics
This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design properties at different levels of aggregation. This approach is specifically suitable for component-ba...
متن کاملDistributed Energy Management for Networked Microgrids Using Online Alternating Direction Method of Multipliers with Regret
This paper proposes a distributed algorithm for online energy management in networked microgrids with a high penetration of distributed energy resources (DERs). The implementation of networked microgrids with high penetration of DERs brings power generation closer to electricity users, which has advantages of increasing power supply efficiency and reliability by shortening the power supply deli...
متن کاملTools for improving resilience of electric distribution systems with networked microgrids
In the electrical grid, the distribution system is the most vulnerable to severe weather events. Well-placed and coordinated upgrades, such as the combination of microgrids, system hardening and additional line redundancy, can greatly reduce the number of electrical outages during extreme events. Indeed, it has been suggested that resilience is one of the primary benefits of networked microgrid...
متن کاملComparing Simulative and Formal Methods for the Analysis of Response Times in Networked Automation Systems
Networked Automation Systems (NAS) result from the increasing decentralization of automation systems using new network structures. Those structures are less expensive and more flexible than traditional ones. However, they introduce stochastic and coupled temporal behavior. Therefore, a detailed analysis is necessary accounting for the special characteristics of NAS. In this article, two approac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Power Systems
سال: 2018
ISSN: 0885-8950,1558-0679
DOI: 10.1109/tpwrs.2017.2780804